UseWitness $\lambda$$P$,$g$. Y($\lambda$$f$,$x$. $g$($x$,$f$))